package joc;

import joc.customize.Contract;
import joc.customize.ForParameterEvaluateAtBeginningOfBehavior;

@JOCEnabled
public class DummyContract extends Contract<DummyAnnotation> {
	@ForParameterEvaluateAtBeginningOfBehavior
	public boolean expectIntAsSecondParameter(DummyAnnotation annotation, int value) {
		return annotation.value() == value;
	}
}